<?
    require_once("Clases/Docente.php");
    require_once("Clases/Alumno.php");
    $val = new Clases\Alumno();
    $val = $val->getAll();
    echo sizeof($val);
?>
